|
Arvind Mithal (usually referred to as just Arvind) is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology. He is a Fellow of the IEEE and the ACM, and he was elected to the National Academy of Engineering in 2008.〔(【引用サイトリンク】url = http://www8.nationalacademies.org/onpinews/newsitem.aspx?RecordID=02082008 )〕 ==Career== Arvind's research interests include verification of large-scale digital systems using Guarded Atomic Actions, Memory Models and Cache Coherence Protocols for parallel architectures and languages.〔(【引用サイトリンク】url = http://csg.csail.mit.edu/Users/arvind/index.html )〕 Past work was instrumental in the development of dynamic dataflow architectures, the parallel programming languages, Id and pH; and the compilation of these types of languages on parallel machines.〔 Arvind earned his Bachelor's degree in technology (with an emphasis in Electrical Engineering) from the Indian Institute of Technology (IIT), Kanpur, in 1969. He discovered in the process of earning his degree that he was keenly interested in computers. Subsequently, Arvind earned his Master’s in Computer Science from the University of Minnesota in 1972, and he earned his Ph.D. in Computer Science from the University of Minnesota in 1973.〔(【引用サイトリンク】url = http://www.cs.umn.edu/news/SoundByte/F01/award.html )〕 Arvind conducted thesis research in operating systems on mathematical models of program behavior. At the University of California, Irvine, where he taught from 1974 to 1978,〔 he became interested in computer architecture and languages.〔 Arvind then taught at IIT's Kanpur campus in 1977 and 1978.〔 He served as the Chief Technical Advisor to the United Nations' sponsored, Knowledge Based Computer Systems project in India from 1986 to 1992. During 1992–93, he was the Fujitsu Visiting Professor at the University of Tokyo. In 1992, Arvind and his CSAIL team collaborated with Motorola in completing the Monsoon dataflow machine and associated software. A dozen Monsoons were installed at Los Alamos National Labs and other universities before Monsoon was retired to the Computer Museum in California. In 2000, Arvind took two years off from teaching at MIT to build Sandburst, a fabless semiconductor company. He served as its president until he returned to MIT in 2002. In 2003, he co-founded Bluespec Inc, an EDA company. He currently serves on the boards of both companies. In 2006, Sandburst, headquartered in Andover, Massachusetts and providing semiconductor solutions for scalable packet switching and routing systems, was acquired by Broadcom Corp.〔(【引用サイトリンク】url = http://investing.businessweek.com/research/stocks/private/snapshot.asp?privcapId=544278 )〕 Bluespec, Inc., headquartered in Waltham, Massachusetts, manufactures silicon-proven electronic design automation synthesis toolsets.〔(【引用サイトリンク】url = http://www.bluespec.com/about/index.htm )〕 He served as the General Chair for the International Conference on Supercomputing held in Cambridge, Massachusetts in June, 2005. Arvind was the first to occupy the N. Rama Rao Chair in the Department of Computer Science and Engineering. He served as chair from 1998 to 1999. Also during this time he taught a few weeks each semester at the CSE department of IIT, Kanpur.〔(【引用サイトリンク】url = http://www.cse.iitk.ac.in/chair/arvind-report.html )〕 Arvind's current research uses a formalism known as Term Rewriting Systems (TRS's) for high-level specification and description of architectures and protocols. In the Computation Structures Group at MIT, which he heads, work is being done on using TRS's to design hardware more quickly and allow for exploration of designs. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Arvind (computer scientist)」の詳細全文を読む スポンサード リンク
|